\(\int (d \cot (e+f x))^n \sin ^3(e+f x) \, dx\) [51]

Optimal result

Integrand size = 19, antiderivative size = 79 \[ \int (d \cot (e+f x))^n \sin ^3(e+f x) \, dx=-\frac {(d \cot (e+f x))^{1+n} \operatorname {Hypergeometric2F1}\left (\frac {1}{2} (-2+n),\frac {1+n}{2},\frac {3+n}{2},\cos ^2(e+f x)\right ) \sin ^3(e+f x) \sin ^2(e+f x)^{\frac {1}{2} (-2+n)}}{d f (1+n)} \]

[Out]

-(d*cot(f*x+e))^(1+n)*hypergeom([-1+1/2*n, 1/2+1/2*n],[3/2+1/2*n],cos(f*x+e)^2)*sin(f*x+e)^3*(sin(f*x+e)^2)^(-
1+1/2*n)/d/f/(1+n)

Rubi [A] (verified)

Time = 0.05 (sec) , antiderivative size = 79, normalized size of antiderivative = 1.00, number of steps used = 1, number of rules used = 1, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.053, Rules used = {2697} \[ \int (d \cot (e+f x))^n \sin ^3(e+f x) \, dx=-\frac {\sin ^3(e+f x) \sin ^2(e+f x)^{\frac {n-2}{2}} (d \cot (e+f x))^{n+1} \operatorname {Hypergeometric2F1}\left (\frac {n-2}{2},\frac {n+1}{2},\frac {n+3}{2},\cos ^2(e+f x)\right )}{d f (n+1)} \]

[In]

Int[(d*Cot[e + f*x])^n*Sin[e + f*x]^3,x]

[Out]

-(((d*Cot[e + f*x])^(1 + n)*Hypergeometric2F1[(-2 + n)/2, (1 + n)/2, (3 + n)/2, Cos[e + f*x]^2]*Sin[e + f*x]^3
*(Sin[e + f*x]^2)^((-2 + n)/2))/(d*f*(1 + n)))

Rule 2697

Int[((a_.)*sec[(e_.) + (f_.)*(x_)])^(m_.)*((b_.)*tan[(e_.) + (f_.)*(x_)])^(n_), x_Symbol] :> Simp[(a*Sec[e + f
*x])^m*(b*Tan[e + f*x])^(n + 1)*((Cos[e + f*x]^2)^((m + n + 1)/2)/(b*f*(n + 1)))*Hypergeometric2F1[(n + 1)/2,
(m + n + 1)/2, (n + 3)/2, Sin[e + f*x]^2], x] /; FreeQ[{a, b, e, f, m, n}, x] &&  !IntegerQ[(n - 1)/2] &&  !In
tegerQ[m/2]

Rubi steps \begin{align*} \text {integral}& = -\frac {(d \cot (e+f x))^{1+n} \operatorname {Hypergeometric2F1}\left (\frac {1}{2} (-2+n),\frac {1+n}{2},\frac {3+n}{2},\cos ^2(e+f x)\right ) \sin ^3(e+f x) \sin ^2(e+f x)^{\frac {1}{2} (-2+n)}}{d f (1+n)} \\ \end{align*}

Mathematica [C] (warning: unable to verify)

Result contains higher order function than in optimal. Order 6 vs. order 5 in optimal.

Time = 3.10 (sec) , antiderivative size = 477, normalized size of antiderivative = 6.04 \[ \int (d \cot (e+f x))^n \sin ^3(e+f x) \, dx=-\frac {4 (-4+n) \left (\operatorname {AppellF1}\left (1-\frac {n}{2},-n,3,2-\frac {n}{2},\tan ^2\left (\frac {1}{2} (e+f x)\right ),-\tan ^2\left (\frac {1}{2} (e+f x)\right )\right )-\operatorname {AppellF1}\left (1-\frac {n}{2},-n,4,2-\frac {n}{2},\tan ^2\left (\frac {1}{2} (e+f x)\right ),-\tan ^2\left (\frac {1}{2} (e+f x)\right )\right )\right ) \cos ^3\left (\frac {1}{2} (e+f x)\right ) (d \cot (e+f x))^n \sin \left (\frac {1}{2} (e+f x)\right ) \sin ^3(e+f x)}{f (-2+n) \left (2 (-4+n) \operatorname {AppellF1}\left (1-\frac {n}{2},-n,3,2-\frac {n}{2},\tan ^2\left (\frac {1}{2} (e+f x)\right ),-\tan ^2\left (\frac {1}{2} (e+f x)\right )\right ) \cos ^2\left (\frac {1}{2} (e+f x)\right )-2 (-4+n) \operatorname {AppellF1}\left (1-\frac {n}{2},-n,4,2-\frac {n}{2},\tan ^2\left (\frac {1}{2} (e+f x)\right ),-\tan ^2\left (\frac {1}{2} (e+f x)\right )\right ) \cos ^2\left (\frac {1}{2} (e+f x)\right )-2 \left (n \operatorname {AppellF1}\left (2-\frac {n}{2},1-n,3,3-\frac {n}{2},\tan ^2\left (\frac {1}{2} (e+f x)\right ),-\tan ^2\left (\frac {1}{2} (e+f x)\right )\right )-n \operatorname {AppellF1}\left (2-\frac {n}{2},1-n,4,3-\frac {n}{2},\tan ^2\left (\frac {1}{2} (e+f x)\right ),-\tan ^2\left (\frac {1}{2} (e+f x)\right )\right )+3 \operatorname {AppellF1}\left (2-\frac {n}{2},-n,4,3-\frac {n}{2},\tan ^2\left (\frac {1}{2} (e+f x)\right ),-\tan ^2\left (\frac {1}{2} (e+f x)\right )\right )-4 \operatorname {AppellF1}\left (2-\frac {n}{2},-n,5,3-\frac {n}{2},\tan ^2\left (\frac {1}{2} (e+f x)\right ),-\tan ^2\left (\frac {1}{2} (e+f x)\right )\right )\right ) (-1+\cos (e+f x))\right )} \]

[In]

Integrate[(d*Cot[e + f*x])^n*Sin[e + f*x]^3,x]

[Out]

(-4*(-4 + n)*(AppellF1[1 - n/2, -n, 3, 2 - n/2, Tan[(e + f*x)/2]^2, -Tan[(e + f*x)/2]^2] - AppellF1[1 - n/2, -
n, 4, 2 - n/2, Tan[(e + f*x)/2]^2, -Tan[(e + f*x)/2]^2])*Cos[(e + f*x)/2]^3*(d*Cot[e + f*x])^n*Sin[(e + f*x)/2
]*Sin[e + f*x]^3)/(f*(-2 + n)*(2*(-4 + n)*AppellF1[1 - n/2, -n, 3, 2 - n/2, Tan[(e + f*x)/2]^2, -Tan[(e + f*x)
/2]^2]*Cos[(e + f*x)/2]^2 - 2*(-4 + n)*AppellF1[1 - n/2, -n, 4, 2 - n/2, Tan[(e + f*x)/2]^2, -Tan[(e + f*x)/2]
^2]*Cos[(e + f*x)/2]^2 - 2*(n*AppellF1[2 - n/2, 1 - n, 3, 3 - n/2, Tan[(e + f*x)/2]^2, -Tan[(e + f*x)/2]^2] -
n*AppellF1[2 - n/2, 1 - n, 4, 3 - n/2, Tan[(e + f*x)/2]^2, -Tan[(e + f*x)/2]^2] + 3*AppellF1[2 - n/2, -n, 4, 3
- n/2, Tan[(e + f*x)/2]^2, -Tan[(e + f*x)/2]^2] - 4*AppellF1[2 - n/2, -n, 5, 3 - n/2, Tan[(e + f*x)/2]^2, -Ta
n[(e + f*x)/2]^2])*(-1 + Cos[e + f*x])))

Maple [F]

\[\int \left (d \cot \left (f x +e \right )\right )^{n} \sin \left (f x +e \right )^{3}d x\]

[In]

int((d*cot(f*x+e))^n*sin(f*x+e)^3,x)

[Out]

int((d*cot(f*x+e))^n*sin(f*x+e)^3,x)

Fricas [F]

\[ \int (d \cot (e+f x))^n \sin ^3(e+f x) \, dx=\int { \left (d \cot \left (f x + e\right )\right )^{n} \sin \left (f x + e\right )^{3} \,d x } \]

[In]

integrate((d*cot(f*x+e))^n*sin(f*x+e)^3,x, algorithm="fricas")

[Out]

integral(-(cos(f*x + e)^2 - 1)*(d*cot(f*x + e))^n*sin(f*x + e), x)

Sympy [F(-1)]

Timed out. \[ \int (d \cot (e+f x))^n \sin ^3(e+f x) \, dx=\text {Timed out} \]

[In]

integrate((d*cot(f*x+e))**n*sin(f*x+e)**3,x)

[Out]

Timed out

Maxima [F]

\[ \int (d \cot (e+f x))^n \sin ^3(e+f x) \, dx=\int { \left (d \cot \left (f x + e\right )\right )^{n} \sin \left (f x + e\right )^{3} \,d x } \]

[In]

integrate((d*cot(f*x+e))^n*sin(f*x+e)^3,x, algorithm="maxima")

[Out]

integrate((d*cot(f*x + e))^n*sin(f*x + e)^3, x)

Giac [F]

\[ \int (d \cot (e+f x))^n \sin ^3(e+f x) \, dx=\int { \left (d \cot \left (f x + e\right )\right )^{n} \sin \left (f x + e\right )^{3} \,d x } \]

[In]

integrate((d*cot(f*x+e))^n*sin(f*x+e)^3,x, algorithm="giac")

[Out]

integrate((d*cot(f*x + e))^n*sin(f*x + e)^3, x)

Mupad [F(-1)]

Timed out. \[ \int (d \cot (e+f x))^n \sin ^3(e+f x) \, dx=\int {\sin \left (e+f\,x\right )}^3\,{\left (d\,\mathrm {cot}\left (e+f\,x\right )\right )}^n \,d x \]

[In]

int(sin(e + f*x)^3*(d*cot(e + f*x))^n,x)

[Out]

int(sin(e + f*x)^3*(d*cot(e + f*x))^n, x)